<html>
<head><meta charset="utf-8"><title>Unfriendly chalk error in rustc · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html">Unfriendly chalk error in rustc</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200158065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200158065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200158065">(Jun 08 2020 at 21:26)</a>:</h4>
<p>Hello everyone! I am doing some hacking in rustc and I sometime end up having to deal with very un-friendly chalk error like <a href="http://ix.io/2oFl">http://ix.io/2oFl</a></p>



<a name="200158186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200158186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200158186">(Jun 08 2020 at 21:26)</a>:</h4>
<p>Is there any way to make it more readable? Or at least fail earlier?</p>



<a name="200158599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200158599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200158599">(Jun 08 2020 at 21:30)</a>:</h4>
<p>I don't understand what does it have to do with chalk</p>



<a name="200158735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200158735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200158735">(Jun 08 2020 at 21:32)</a>:</h4>
<p>Maybe nothing? It</p>



<a name="200158753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200158753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200158753">(Jun 08 2020 at 21:32)</a>:</h4>
<p>Its only happening with <code>chalk_ir</code> types in rustc though.</p>



<a name="200158828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200158828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200158828">(Jun 08 2020 at 21:33)</a>:</h4>
<p>But yeah its a recursive trait issue that has probably nothing to do with chalk directly, sorry.</p>



<a name="200158861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200158861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200158861">(Jun 08 2020 at 21:33)</a>:</h4>
<p>Its just chalk exhibiting the issue</p>



<a name="200159827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200159827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200159827">(Jun 08 2020 at 21:43)</a>:</h4>
<p>Interesting</p>



<a name="200159841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200159841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200159841">(Jun 08 2020 at 21:43)</a>:</h4>
<p>I saw this earlier</p>



<a name="200159910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200159910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200159910">(Jun 08 2020 at 21:44)</a>:</h4>
<p>But it's weird that you're hitting it when not modifying chalk-related code</p>



<a name="200160070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160070">(Jun 08 2020 at 21:46)</a>:</h4>
<p>Yep, i am hitting very often when I change some type somewhere and some other has not been updated yet.</p>



<a name="200160095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160095">(Jun 08 2020 at 21:46)</a>:</h4>
<p>Interesting</p>



<a name="200160153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160153">(Jun 08 2020 at 21:47)</a>:</h4>
<p>I don't really know what to say</p>



<a name="200160155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160155">(Jun 08 2020 at 21:47)</a>:</h4>
<p>or do</p>



<a name="200160179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160179">(Jun 08 2020 at 21:47)</a>:</h4>
<p>The error message isn't even clear</p>



<a name="200160247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160247">(Jun 08 2020 at 21:48)</a>:</h4>
<p>I can explain</p>



<a name="200160264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160264">(Jun 08 2020 at 21:48)</a>:</h4>
<p>I think</p>



<a name="200160455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160455">(Jun 08 2020 at 21:51)</a>:</h4>
<p>I mean, I vaguely get that we somewhere are doing <code>Binders::from(...,T)</code> where <code>T</code> is <code>Binders</code> or maybe <code>&amp;Binders</code></p>



<a name="200160480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160480">(Jun 08 2020 at 21:51)</a>:</h4>
<p>maybe</p>



<a name="200160624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160624">(Jun 08 2020 at 21:52)</a>:</h4>
<p>We had a similar issue before</p>



<a name="200160632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160632">(Jun 08 2020 at 21:52)</a>:</h4>
<p>If I can just find it</p>



<a name="200160769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160769">(Jun 08 2020 at 21:54)</a>:</h4>
<p>Hmm, maybe it's <code>Fold</code> related</p>



<a name="200160781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200160781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200160781">(Jun 08 2020 at 21:54)</a>:</h4>
<p>idk</p>



<a name="200161018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161018">(Jun 08 2020 at 21:57)</a>:</h4>
<p>The reason chalk binders appear there is because <code>IntoIterator</code> impl for <code>Binders</code> is somewhat recursive</p>



<a name="200161192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161192">(Jun 08 2020 at 21:59)</a>:</h4>
<p>Found the related bug <a href="#narrow/stream/144729-wg-traits/topic/Wanna.20help.20finishing.20up.20.23369/near/193783451">https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/Wanna.20help.20finishing.20up.20.23369/near/193783451</a></p>



<a name="200161300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161300">(Jun 08 2020 at 22:00)</a>:</h4>
<p>ooh nice catch</p>



<a name="200161337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161337">(Jun 08 2020 at 22:00)</a>:</h4>
<p>Hu ok, i am not sure i am following everything</p>



<a name="200161409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161409">(Jun 08 2020 at 22:01)</a>:</h4>
<p>But it explains why each there is some problem with <code>IntoIterator</code>, even for things unrelated to chalk, it falls back chalk_ir binders anyway?</p>



<a name="200161597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161597">(Jun 08 2020 at 22:03)</a>:</h4>
<p>yeah, that I don't know why. It might be an issue with the rustc trait solver with some variant of inference vars</p>



<a name="200161716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161716">(Jun 08 2020 at 22:05)</a>:</h4>
<p><span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span> thinking about it, I have no idea either, my bet is on discarding results too late</p>



<a name="200161806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161806">(Jun 08 2020 at 22:06)</a>:</h4>
<p>I think we can just remove the first impl</p>



<a name="200161810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161810">(Jun 08 2020 at 22:06)</a>:</h4>
<p>(on <code>&amp;'a Binders</code>)</p>



<a name="200161830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161830">(Jun 08 2020 at 22:06)</a>:</h4>
<p>it only fails in <code>program_clauses</code>, which can be solved by just removing the <code>&amp;</code></p>



<a name="200161858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200161858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200161858">(Jun 08 2020 at 22:07)</a>:</h4>
<p>if someone PRs that, I'll merge it</p>



<a name="200162101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200162101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200162101">(Jun 08 2020 at 22:10)</a>:</h4>
<p>Yeah, seems excessive considering that if you really want to iterate over <code>Binders&lt;&amp;T&gt;</code> you can just do <code>for i in binders.as_ref()</code></p>



<a name="200162119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200162119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200162119">(Jun 08 2020 at 22:10)</a>:</h4>
<p>I'll make a pr</p>



<a name="200162222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200162222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200162222">(Jun 08 2020 at 22:12)</a>:</h4>
<p>Also <span class="user-mention" data-user-id="251766">@Areredify</span> since you're around, I reviewed your <code>Unsized</code> PR</p>



<a name="200162268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200162268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200162268">(Jun 08 2020 at 22:12)</a>:</h4>
<p>couple comments and a rebase  needed :)</p>



<a name="200162270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200162270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200162270">(Jun 08 2020 at 22:12)</a>:</h4>
<p>then good to go</p>



<a name="200162271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200162271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200162271">(Jun 08 2020 at 22:12)</a>:</h4>
<p>Yeah, thanks, Im rebasing it now</p>



<a name="200168854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200168854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200168854">(Jun 08 2020 at 23:42)</a>:</h4>
<p>Filed</p>



<a name="200172642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200172642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200172642">(Jun 09 2020 at 00:46)</a>:</h4>
<p><span class="user-mention" data-user-id="281572">@marmeladema</span> That error is my fault - it will be fixed when <a href="https://github.com/rust-lang/rust/pull/73005">https://github.com/rust-lang/rust/pull/73005</a> lands</p>



<a name="200172654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200172654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200172654">(Jun 09 2020 at 00:46)</a>:</h4>
<p>sorry about that - it's pretty annoying to run into</p>



<a name="200174148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200174148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200174148">(Jun 09 2020 at 01:18)</a>:</h4>
<p>Huh interesting. So it has been seen before</p>



<a name="200184486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200184486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200184486">(Jun 09 2020 at 05:57)</a>:</h4>
<p>ayy I was right</p>



<a name="200193412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Unfriendly%20chalk%20error%20in%20rustc/near/200193412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Unfriendly.20chalk.20error.20in.20rustc.html#200193412">(Jun 09 2020 at 08:16)</a>:</h4>
<p>Ah great to hear that there is already some fix / improvement going on! Thank you!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>